From topology to generalised dimensional reduction

Supergravity from Dimensional Reduction

We perform a generalised Scherk-Schwarz reduction of the effective action of the het-erotic string on T 6 to obtain a massive N = 4 supergravity theory in four dimensions. The local symmetry-group of the resulting d = 4 theory includes a Heisenberg group, which is a subgroup of the global O(6, 6 + n) obtained in the standard reduction. We show explicitly that the same theory can be obtained by ...

Gauged Supergravity from Dimensional Reduction

We perform a generalised Scherk-Schwarz reduction of the effective action of the het-erotic string on T 6 to obtain a massive N = 4 supergravity theory in four dimensions. The local symmetry-group of the resulting d = 4 theory includes a Heisenberg group, which is a subgroup of the global O(6, 6 + n) obtained in the standard reduction. We show explicitly that the same theory can be obtained by ...

Infinite-Dimensional Topology

Low - dimensional Topology 57

From Term Rewriting to Generalised Interaction Nets

In this paper we present a system of interaction that gener-alises Lafont's interaction nets by allowing computation in several nets in parallel and communication through a state. This framework allows us to represent large classes of term rewriting systems, genuine parallel functions, non-determinism, communication, sharing, and hence can be used to code features from Standard ML and Concurren...